Crate ascent

Modules

• aggregators
  This module provides aggregators that can be used in Ascent rules.
• boxcar
• lattice
  Defines the Lattice trait and provides implementations for standard types
• rayon
• util
  internal utility functions defined here

Macros

• ascent
  The main macro of the ascent library. Allows writing logical inference rules similar to Datalog.
• ascent_par
• ascent_run
  Like ascent, except that the result of an ascent_run invocation is a value containing all the relations defined inside the macro body, and computed to a fixed point.
• ascent_run_par

Structs

• Dual
  A wrapper type that swaps (<= and >=) for PartialOrds, (meet and join) for Lattices, and (top and bottom) for BoundedLattices.

Traits

• Lattice
  A Lattice is a PartialOrd where each pair of elements has a least upper bound (join) and a greatest lower bound (meet)